[IA64] VTi: vtlb_insert: call panic_domain instead of panic

vtlb_insert: call panic_domain instead of panic if vrr.ps mismatch itir.ps.

Signed-off-by: Tristan Gingold <tristan.gingold@bull.net>

diff --git a/xen/arch/ia64/vmx/vtlb.c b/xen/arch/ia64/vmx/vtlb.c
index 09ddfbf244c01fc3ad930887f048e7b92850bf1f..418d763d3f076550eb35fa6e10e4ffd0b5389595 100644 (file)
--- a/xen/arch/ia64/vmx/vtlb.c
+++ b/xen/arch/ia64/vmx/vtlb.c
@@ -393,7 +393,8 @@ void vtlb_insert(thash_cb_t *hcb, u64 pte, u64 itir, u64 va)
     vcpu_get_rr(current, va, &vrr.rrval);
     if (vrr.ps != ps) {
 //        machine_tlb_insert(hcb->vcpu, entry);
-       panic("not preferred ps with va: 0x%lx\n", va);
+       panic_domain(NULL, "not preferred ps with va: 0x%lx vrr.ps=%d ps=%d\n",
+                    va, vrr.ps, ps);
        return;
     }
     hash_table = vsa_thash(hcb->pta, va, vrr.rrval, &tag);